Using Aspects for Enforcing Formal Architectural Invariants
نویسندگان
چکیده
منابع مشابه
Enforcing Structural Invariants Using Dynamic Frames
The theory of dynamic frames is a promising approach to handle the so-called framing problem, that is, giving a precise characterizations of the locations in the heap that a procedure may modify. In this paper, we show that the machinery used for dynamic frames may be exploited even further. In particular, we use it to check that implementations of abstract data types maintain certain structura...
متن کاملUsing Aspects in Architectural Description
This paper sketches an approach to using aspects for architectural description within the conceptual framework of IEEE 1471. I propose a definition of architectural aspect within that framework and examine its consequences and motivations. I show that architectural aspects can be accommodated within the current conceptual framework of IEEE 1471 without modification; and outline extensions to th...
متن کاملEnforcing Formal Security Properties
We de ne the formal semantics of expressive security-property language. The language distinguishes safe from unsafe programs and can be enforced systematically using proof-carrying code. The soundness of an enforcement algorithm is shown with respect to the language semantics. This material is based on work supported under under a National Science Foundation Graduate Fellowship. Any opinions, n...
متن کاملContinuous Integration with Architectural Invariants
Software erosion is a common problem in larger software projects [3, 5]. As a code base grows, more effort needs to be invested to keep an implementation aligned with its intended architecture. Designers may need to introduce new architectural guidelines as existing ones no longer fit the complexity or the purpose of the project. The code base is then gradually refactored in order to conform to...
متن کاملFormal architectural abstractions for interactive software
ion-side and Display-side behaviours of an interactor. Interactors are characterised by the behaviour they exhibit when observed from the abstraction or the display sides. The abstraction-side behaviour of the interactor is observed by interaction at gates Gaout and Gainp. The display-side behaviour is observed at gates Gdinp and Gdout. They are described by the pseudo-LOTOS expressions: A P = ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2008
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2008.06.018